Hybrid Automata: A Formal Paradigm for Heterogeneous Modeling'
نویسندگان
چکیده
A hybrid automaton is a model of a system with interacting continuous and discrete dynamics. It has been successfully employed in emerging applications on the border between computer science and control theory. In this paper, hybrid automata are formally introduced. Some results on existence and uniqueness of executions for hybrid automata are obtained. Continuous dependence on initial states are shown for a class of hybrid automata. Zeno hybrid automata, i.e., hybrid automata that exhibit infinitely many discrete transitions in finite time, are also discussed.
منابع مشابه
A Composable Discrete-Time Cellular Automaton Formalism
Existing Cellular Automata formalisms do not consider heterogenous composition of models. Simulations that are grounded in a suitable modeling formalism offer unique benefits as compared with those that are developed using an adhoc combination of modeling concepts and implementation techniques. The emerging and extensive use of CA in simulating complex heterogeneous network systems heightens th...
متن کاملFORMAL VERIFICATION OF CHI MODELS USING PHAVer
The hybrid Chi (χ) language is a formalism for modeling, simulation and verification of hybrid systems. One of the most widely known hybrid system formalisms is that of hybrid automata. The formal translation of χ to hybrid automata enables verification of χ specifications using existing hybrid automata based verification tools. In this paper, we describe the translation from χ to hybrid automa...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملJournal of Information Technology Impact
The use of formal methods, techniques and tools may generally guarantee a systems’ safe operation. Such a process includes system modeling with a mathematical model, which is an approximation of the physical system, and is used to make easier the next step of analysis. Formal analysis of hybrid systems, which involve mixed continuous-valued and discrete dynamics, is concerned with verifying whe...
متن کاملHybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
The presence of a tight integration between the discrete control (the “cyber”) and the analog environment (the “physical”)—via sensors and actuators over wired or wireless communication networks—is the defining feature of cyberphysical systems. Hence, the functional correctness of a cyberphysical system is crucially dependent not only on the dynamics of the analog physical environment, but also...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000